;;; Upper CYC(R) Ontology flat-file
;;; Copyright Cycorp 1997. All rights reserved.
;;;Cycorp License Agreement
;;;Cycorp is providing this material from the Cyc(tm) Upper
;;;Ontology at no charge, for everyone to use, including
;;;commercial service use and incorporation into products.
;;;However, it is not 'Public Domain.' Please acknowledge
;;;Cycorp, 3721 Executive Center Dr., Austin, TX 78731 in
;;;any use or citation of this material, and request that each
;;;further user include a full copy of this notice as well,
;;;in any use or citation they make of the material. All
;;;these terms equally apply to renamings and other
;;;logically equivalent reformulations of the material in
;;;any natural or formal language. Cycorp intends to
;;;amend and expand the material from time to time; the
;;;latest version is available at http://www.cyc.com
;;; (#$MeaningInSystemFn #$SENSUS-Information1997 "LANGUAGE")
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "LANGUAGE") #$Collection)
(#$isa
(#$MeaningInSystemFn #$SENSUS-Information1997 "LANGUAGE") #$Thing)
(#$genls
(#$MeaningInSystemFn #$SENSUS-Information1997 "LANGUAGE") #$CommunicationConvention)
;;; (#$TransportFn #$GaseousTangibleThing)
(#$isa
(#$TransportFn #$GaseousTangibleThing) #$ScriptType)
(#$genls
(#$TransportFn #$GaseousTangibleThing) #$TransportingGoods)
;;; (#$VeryHighAmountFn #$Rigidity)
(#$isa
(#$VeryHighAmountFn #$Rigidity) #$Rigidity)
(#$isa
(#$VeryHighAmountFn #$Rigidity) #$ScalarInterval)
(#$implies
(#$causedBy ?Y ?X)
((#$MeaningInSystemFn #$SENSUS-Information1997 "CAUSAL-RELATION") ?X ?Y))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "CARDINALITY") ?X ?Y)
(#$or
(#$cardinality ?X ?Y)
(#$groupCardinality ?X ?Y)))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "INTENSIVE"))
(#$genlPreds ?X #$hasAttributes))
(#$implies
(#$ibtHasInfoAbout ?INFOEVT ?SUB)
((#$MeaningInSystemFn #$SENSUS-Information1997 "SUBJECT-MATTER") ?INFOEVT ?SUB))
(#$implies
(#$groupCardinality ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "CARDINALITY") ?X ?Y))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "INTERPERSONAL-THING"))
(#$or
(#$isa ?X #$Communicating)
(#$isa ?X #$PragmaticAttribute)))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "CAUSAL-RELATION") ?X ?Y)
(#$or
(#$causes ?X ?Y)
(#$causesProp ?X ?Y)
(#$causedBy ?Y ?X)))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "PHYSICAL-MATERIAL"))
(#$genls ?X #$PartiallyTangible))
(#$implies
(#$isa ?X #$TotallyOrderedSet)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERED-SET")))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "GAS-MATERIAL"))
(#$genls ?X #$GaseousTangibleThing))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "GAS-MATERIAL"))
(#$isa ?X #$ExistingStuffType))
(#$implies
(#$isa ?X #$TimeInterval)
(#$or
(#$isa ?X #$TimePoint)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "TIME-INTERVAL"))))
(#$implies
(#$isa ?X #$Set-Mathematical)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SET")))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "DISLIKING"))
(#$isa ?X
(#$SituationFn
(#$thereExists ?Y
(#$feelsEmotion ?Y #$Dislike #$Positive)))))
(#$implies
(#$isa ?X
(#$SituationFn
(#$thereExists ?Y
(#$feelsEmotion ?Y #$Dislike #$Positive))))
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "DISLIKING")))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "STRIVING"))
(#$thereExists ?Y0389
(#$isa ?X
(#$AttemptingFn ?Y0389))))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "PHYSICAL-MATERIAL"))
(#$isa ?X #$ExistingStuffType))
(#$implies
(#$isa ?X #$SetWithStructure)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SET")))
(#$implies
(#$isa ?X #$MathematicalObject)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "REPRESENTATIONAL-OBJECT")))
(#$implies
(#$isa ?X #$LinguisticObject)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "REPRESENTATIONAL-OBJECT")))
(#$implies
(#$and
(#$genls ?X #$SolidTangibleThing)
(#$isa ?X #$ExistingStuffType))
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SOLID-MATERIAL")))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "LIKING"))
(#$isa ?X
(#$SituationFn
(#$thereExists ?A
(#$thereExists ?B
(#$likesObject ?A ?B))))))
(#$implies
(#$isa ?X
(#$SituationFn
(#$thereExists ?A
(#$thereExists ?B
(#$likesObject ?A ?B)))))
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "LIKING")))
(#$not
(#$and
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-DIRECTED-ACTION"))
(#$objectActedOn ?X ?Y0382)))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "CAUSE-EFFECT") ?X ?Y)
(#$or
(#$causes ?X ?Y)
(#$causesProp ?X ?Y)
(#$causedBy ?Y ?X)))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "TEMPORAL-NONINCLUSIVE") ?X ?Y)
(#$or
(#$overlapsStart ?X ?Y)
(#$overlapsStart ?Y ?X)))
(#$implies
(#$elementOf ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT") ?X ?Y))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SOLID-MATERIAL"))
(#$isa ?X #$ExistingStuffType))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE"))
(#$or
(#$isa ?X #$Distance)
(#$isa ?X #$Volume)))
(#$implies
(#$nameString ?X ?Y)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "NAMED-OBJECT")))
(#$implies
(#$and
(#$arg2Isa ?X #$Distance)
(#$isa ?X #$BinaryPredicate))
(#$genlPreds ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "DISTANCE")))
(#$implies
(#$topicOfInfoTransfer ?INFOEVT ?SUB)
((#$MeaningInSystemFn #$SENSUS-Information1997 "SUBJECT-MATTER") ?INFOEVT ?SUB))
(#$implies
(#$isa ?X #$Tuple)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERED-SET")))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "OWNED-BY") ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "OWNERSHIP") ?Y ?X))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "OWNERSHIP") ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "OWNED-BY") ?Y ?X))
(#$implies
(#$isa ?X #$ExistingStuffType)
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "NONDECOMPOSABLE-OBJECT")))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "NONDECOMPOSABLE-OBJECT"))
(#$isa ?X #$ExistingStuffType))
(#$implies
(#$isa ?X #$TwoDimensionalShape)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ONE-OR-TWO-D-LOCATION")))
(#$implies
(#$isa ?X #$Language)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "REPRESENTATIONAL-OBJECT")))
(#$implies
(#$cardinality ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "CARDINALITY") ?X ?Y))
(#$implies
(#$isa ?X #$List-Sequence)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERED-SET")))
(#$implies
(#$groupMembers ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT") ?X ?Y))
(#$implies
(#$isa ?X #$Distance)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE")))
(#$implies
(#$isa ?X #$PartiallyTangible)
(#$or
(#$isa ?X #$PerceptualAgent)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-CONSCIOUS-BEING"))))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT") ?X ?Y)
(#$or
(#$elementOf ?X ?Y)
(#$groupMembers ?X ?Y)))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "SUBJECT-MATTER") ?INFOEVT ?SUB)
(#$or
(#$ibtHasInfoAbout ?INFOEVT ?SUB)
(#$topicOfInfoTransfer ?INFOEVT ?SUB)))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE-PROPERTY-ASCRIPTION") ?X ?Y)
(#$or
(#$isa ?Y #$Distance)
(#$isa ?Y #$Volume)))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "LIQUID-MATERIAL"))
(#$genls ?X #$LiquidTangibleThing))
(#$implies
(#$causes ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "CAUSAL-RELATION") ?X ?Y))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "NAMED-OBJECT"))
(#$thereExists ?Y0386
(#$nameString ?X ?Y0386)))
(#$implies
(#$isa ?X #$Tuple)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SET")))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "DIRECTED-ACTION"))
(#$thereExists ?Y0383
(#$objectActedOn ?X ?Y0383)))
(#$implies
(#$and
(#$genls ?X #$PartiallyTangible)
(#$isa ?X #$ExistingStuffType))
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "PHYSICAL-MATERIAL")))
(#$implies
(#$and
(#$genls ?X #$GaseousTangibleThing)
(#$isa ?X #$ExistingStuffType))
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "GAS-MATERIAL")))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT-OF") ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT") ?Y ?X))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT") ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "ELEMENT-OF") ?Y ?X))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "REPRESENTATIONAL-OBJECT"))
(#$or
(#$isa ?X #$Language)
(#$isa ?X #$LinguisticObject)
(#$isa ?X #$MathematicalObject)))
(#$implies
(#$isa ?X #$MentalObject)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ABSTRACT-OBJECT")))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "LESS-THAN-COMPARISON") ?X ?Y)
(#$greaterThan ?Y ?X))
(#$implies
(#$greaterThan ?Y ?X)
((#$MeaningInSystemFn #$SENSUS-Information1997 "LESS-THAN-COMPARISON") ?X ?Y))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "LIQUID-MATERIAL"))
(#$isa ?X #$ExistingStuffType))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "DECOMPOSABLE-OBJECT"))
(#$isa ?X #$ObjectType))
(#$implies
(#$isa ?X #$ObjectType)
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "DECOMPOSABLE-OBJECT")))
(#$implies
(#$isa ?X #$Line)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ONE-OR-TWO-D-LOCATION")))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SET"))
(#$or
(#$isa ?X #$Set-Mathematical)
(#$isa ?X #$SetWithStructure)
(#$isa ?X #$Tuple)))
(#$implies
(#$isa ?X #$AttributeValue)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ABSTRACT-OBJECT")))
(#$not
(#$and
((#$MeaningInSystemFn #$SENSUS-Information1997 "CONTAINED") ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "NOTCONTAINED") ?X ?Y)))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "SOURCE-DESTINATION") ?X ?Y)
(#$toLocation ?X ?Y))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "FEARING"))
(#$isa ?X
(#$SituationFn
(#$thereExists ?Y
(#$feelsEmotion ?Y #$Fear #$Positive)))))
(#$implies
(#$isa ?X
(#$SituationFn
(#$thereExists ?Y
(#$feelsEmotion ?Y #$Fear #$Positive))))
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "FEARING")))
(#$implies
(#$isa ?X #$Communicating)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "INTERPERSONAL-THING")))
(#$implies
(#$and
(#$isa ?X #$PhysicalEvent)
(#$objectActedOn ?X ?Y))
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "DIRECTED-ACTION")))
(#$implies
(#$isa ?X #$ExistingObjectType)
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SEPARABLE-ENTITY")))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SEPARABLE-ENTITY"))
(#$isa ?X #$ExistingObjectType))
(#$implies
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SOLID-MATERIAL"))
(#$genls ?X #$SolidTangibleThing))
(#$or
((#$MeaningInSystemFn #$SENSUS-Information1997 "CONTAINED") ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "NOTCONTAINED") ?X ?Y))
(#$implies
(#$isa ?X #$PartiallyOrderedSet)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERED-SET")))
(#$implies
(#$isa ?X #$PragmaticAttribute)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "INTERPERSONAL-THING")))
(#$implies
(#$overlapsStart ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "TEMPORAL-NONINCLUSIVE") ?X ?Y))
(#$implies
(#$overlapsStart ?Y ?X)
((#$MeaningInSystemFn #$SENSUS-Information1997 "TEMPORAL-NONINCLUSIVE") ?X ?Y))
(#$not
(#$and
(#$isa ?X #$PerceptualAgent)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-CONSCIOUS-BEING"))))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ONE-OR-TWO-D-LOCATION"))
(#$or
(#$isa ?X #$Line)
(#$isa ?X #$TwoDimensionalShape)))
(#$not
(#$and
(#$in-ContGeneric ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "NOTCONTAINED") ?X ?Y)))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ABSTRACT-OBJECT"))
(#$or
(#$isa ?X #$AttributeValue)
(#$isa ?X #$MentalObject)))
(#$implies
(#$causesProp ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "CAUSAL-RELATION") ?X ?Y))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "MISC-STUFF"))
(#$isa ?X #$Thing))
(#$implies
(#$seriesOrderedBy ?SERIES ?X)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERING-RELATION")))
(#$implies
(#$isa ?X #$Volume)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SIZE")))
(#$implies
(#$isa ?X
(#$AttemptingFn ?Y))
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "STRIVING")))
(#$implies
(#$seriesOrderedByInverse ?SERIES ?X)
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "SET")))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "AREA") ?X ?Y)
(#$or
(#$areaOfObject ?X ?Y)
(#$areaOfRegion ?X ?Y)))
(#$implies
(#$isa ?X #$PhysicalEvent)
(#$or
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "NON-DIRECTED-ACTION"))
(#$objectActedOn ?X ?Y)))
(#$implies
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERED-SET"))
(#$or
(#$isa ?X #$List-Sequence)
(#$isa ?X #$PartiallyOrderedSet)
(#$isa ?X #$TotallyOrderedSet)
(#$isa ?X #$Tuple)))
(#$implies
((#$MeaningInSystemFn #$SENSUS-Information1997 "OWNED-BY") ?X ?Y)
(#$owns ?Y ?X))
(#$implies
(#$owns ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "OWNED-BY") ?Y ?X))
(#$or
(#$in-ContGeneric ?X ?Y)
((#$MeaningInSystemFn #$SENSUS-Information1997 "NOTCONTAINED") ?X ?Y))
(#$thereExists ?SERIES03860388
(#$or
(#$not
(#$isa ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "ORDERING-RELATION")))
(#$seriesOrderedBy ?SERIES03860388 ?X)
(#$seriesOrderedByInverse ?SERIES03860388 ?X)))
(#$implies
(#$and
(#$genls ?X #$LiquidTangibleThing)
(#$isa ?X #$ExistingStuffType))
(#$genls ?X
(#$MeaningInSystemFn #$SENSUS-Information1997 "LIQUID-MATERIAL")))
(#$implies
(#$eventOccursAt ?ITEM ?PLACE)
((#$MeaningInSystemFn #$SENSUS-Information1997 "LOCATING") ?ITEM ?PLACE))
(#$implies
(#$eventOccursAt ?ITEM ?PLACE)
((#$MeaningInSystemFn #$SENSUS-Information1997 "SPATIAL-LOCATING") ?ITEM ?PLACE))
(#$implies
(#$onPath ?ITEM ?PLACE)
((#$MeaningInSystemFn #$SENSUS-Information1997 "LOCATING") ?ITEM ?PLACE))
(#$implies
(#$objectFoundInLocation ?ITEM ?PLACE)
((#$MeaningInSystemFn #$SENSUS-Information1997 "LOCATING") ?ITEM ?PLACE))
(#$implies
(#$onPath ?ITEM ?PLACE)
((#$MeaningInSystemFn #$SENSUS-Information1997 "SPATIAL-LOCATING") ?ITEM ?PLACE))
(#$implies
(#$inRegion ?ITEM ?PLACE)
((#$MeaningInSystemFn #$SENSUS-Information1997 "LOCATING") ?ITEM ?PLACE))
(#$implies
(#$inRegion ?ITEM ?PLACE)
((#$MeaningInSystemFn #$SENSUS-Information1997 "SPATIAL-LOCATING") ?ITEM ?PLACE))
(#$implies
(#$temporallySubsumes ?PLACEORTIME ?ITEM)
((#$MeaningInSystemFn #$SENSUS-Information1997 "LOCATING") ?ITEM ?PLACEORTIME))
(#$implies
(#$objectFoundInLocation ?ITEM ?PLACE)
((#$MeaningInSystemFn #$SENSUS-Information1997 "SPATIAL-LOCATING") ?ITEM ?PLACE))